void do_tests()
{
	ASSERT(
	catch(error("hi")) == "*hi\n");
	ASSERT(
	catch(error("hi\n")) == "*hi\n");
}
